\begin{tabbing}
AtomFreeDecls($X$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$i$, $x$:Id. AtomFree(Type;(($X$.2.2.2.2.2).1)($i$,$x$)))\+
\\[0ex]\& ($\forall$$i$:Id, $k$:Knd. AtomFree(Type;(($X$.2.2.2.2.2.2.2.2.2).1)($k$,$i$)))
\-
\end{tabbing}